$\forall$${\it es}$:event\_system\{i:l\}, $e_{2}$,$e_{1}$:es{-}E(${\it es}$).
\\[0ex]es{-}le(${\it es}$; $e_{1}$; $e_{2}$)
\\[0ex]$\Rightarrow$ ($\forall$$n$:$\mathbb{N}$. (0 $<$ $n$) $\Rightarrow$ ($n$ $<$ $\parallel$[$e_{1}$, $e_{2}$]$\parallel$) $\Rightarrow$ $\exists$$e$$\in$($e_{1}$,$e_{2}$].$\parallel$[$e_{1}$, es{-}pred(${\it es}$; $e$)]$\parallel$ = $n$ $\in$ $\mathbb{Z}$)